Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
171	Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerd Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:16 Logic Computing Mathematics Automated theorem proving Proof theory Type theory Logical truth Syntax Matita Proof assistant Mathematical proof CurryHoward correspondence
172	Box and Whisker Graphs The setting of Statplot in the PLOT SETUP view of the Statistics aplet controls what type of graph is drawn. The two choices are Hist (short for histogram) or BoxW (Box and Whisker). Pressing the k Add to Reading List Source URL: www.hphomeview.com Language: English Charts Graph theory Plot Graphing calculator Mathematics Graph Calculator Image histogram HP calculators Computing
173	Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2011-06-24 04:56:27 Software engineering Declarative programming Computing Data types Functional languages Type theory Functional programming Generic programming Dependently typed programming Generalized algebraic data type ATS Haskell
174	463 Do . Math. J. DMV A Subshift of Finite Type in the Takens-Bogdanov Bifur ation Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-15 07:20:49 Ergodic theory Subshift of finite type Representation theory
175	Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1999-09-06 04:29:36 Software engineering Computer programming Computing Subroutines Type theory Lambda calculus Theoretical computer science Data types Inline expansion Mutual recursion Recursion Standard ML
176	Programovací jazyky F# a OCaml Chapter 4. Generic and recursive types Generic types Add to Reading List Source URL: tomasp.net Language: English Software engineering Computer programming Computing Data types Functional languages Type theory Recursion Functional programming OCaml Caml Recursive data type ML
177	Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-11-28 18:07:44 Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming
178	A NNALES DE L’I. H. P., SECTION B JAY ROSEN Joint continuity and a Doob-Meyer type decomposition for renormalized intersection local times Annales de l’I. H. P., section B, tome 35, no), p. Add to Reading List Source URL: www.math.csi.cuny.edu Language: English - Date: 2009-05-03 17:58:08 Probability theory Mathematical analysis Martingale theory Stochastic processes Mathematics Local time DoobMeyer decomposition theorem It calculus Doob decomposition theorem
179	Data Cleaning 101 Ronald Cody, Ed.D., Robert Wood Johnson Medical School, Piscataway, NJ INTRODUCTION CHECKING FOR INVALID CHARACTER VALUES Add to Reading List Source URL: www.ats.ucla.edu Language: English - Date: 2016-08-17 18:18:26 Computing Software engineering Statistics Data types Business intelligence Type theory Subroutines Variable Constant Data cleansing Lookup table Parameter
180	TJMM), No. 1, 29-44 WEIGHTED REVERSE INEQUALITIES OF JENSEN TYPE FOR FUNCTIONS OF SELFADJOINT OPERATORS S.S. DRAGOMIR Add to Reading List Source URL: tjmm.edyropress.ro Language: English - Date: 2016-07-12 04:18:49 Mathematical analysis Operator theory Complex analysis Harmonic analysis Spectral theory Partial differential equations Differential forms on a Riemann surface Spectral theory of ordinary differential equations

UPDATE